_require "243_functorAppInterface3.smi"
structure A = struct type elem = int end
structure FF = F(A)
